home *** CD-ROM | disk | FTP | other *** search
- Path: keats.ugrad.cs.ubc.ca!not-for-mail
- From: c2a192@ugrad.cs.ubc.ca (Kazimir Kylheku)
- Newsgroups: comp.lang.ada,comp.lang.c,comp.lang.c++
- Subject: Re: C/C++ knocks the crap out of Ada
- Date: 3 Mar 1996 20:54:21 -0800
- Organization: Computer Science, University of B.C., Vancouver, B.C., Canada
- Message-ID: <4hdt1tINN44i@keats.ugrad.cs.ubc.ca>
- References: <JSA.96Feb16135027@organon.com> <dewar.825640041@schonberg> <4h7i55INNknq@anvil.ugrad.cs.ubc.ca> <dewar.825776000@schonberg>
- NNTP-Posting-Host: keats.ugrad.cs.ubc.ca
-
- In article <dewar.825776000@schonberg>, Robert Dewar <dewar@cs.nyu.edu> wrote:
- >Kazimir says
- >
- > Standardization notwithstanding, any language will allow you to write
- > errnoeous programs, whose outcome could have dire consequences. I can
- > write in Ada a function that computes something other than what I
- > intend it to compute, as I can in C.
- >
- > Whether I'm more or less likely to do it in C is more of a matter for
- > religious debate. Competent software engineers can work with either one
- > and produce correct, well-defined results according to the standards.
- > In addition to that,
- >
- >To which I reply
- >
- > Ssafety features notwithstanding, any car will allow you to cause a
- > car crash, whose outcome could have dire consequences. I can just as
- > well drive a modern Volvo into a brick wall as I can a 1960's Detroit
- > car built with no safety concerns.
- >
- > Whether I'm more or less likely to do it in the old Detroit car is more
- > of a matter for religious debate. Competent drivers can avoid accidents
- > in any car.
-
- To which I reply: computer programs are deterministic. They are not cars
- barreling down the highway. Your analogy is completely idiotic, and belongs in
- *.os.advocacy.
-
- Safety is not only a function ofthe language, but of the entire environment:
- the operating system, the hardware and so forth. A program is either correct or
- not.
-
- I reiterate something I mentioned recently: a few days ago I found a bug in the
- project I'm working on that was completely unrelated to the language in which
- I'm working. The program was perfectly valid; a wrong statement caused it to
- compute an incorrect calculation. This was hard to spot because its occurence
- was made rare due to a certain contingency in the logic.
-
- On the other hand, I have not had any of the problems in this same that you Ada
- fanatics associate with C (overrun arrays, runaway pointers, etc). Blame it on
- your incomplete mastery of programming.
-
- I could just as well have written the same error in an Ada program as in a C
- program. The code is not going to magically ``do what I mean'' if I write it in
- Ada.
-
- You are completely irresponsible if you depend on your development language to
- provide the safety element. I would not want to be at the mercy of
- safety-critical software written by you if that is your attitude, no matter
- what you write it in. In fact, I'd rather it be done by a shrewd C coder who
- has the programming fortitude and expertise to get it right, rather than some
- military fruitcake who cringes at the sight of a curly brace.
- --
-
-